On the Formal Semantics of the Extended Compliance Rule Graph

A fundamental challenge for any process-aware information system is to ensure compliance of modeled and executed business processes with imposed compliance rules stemming from guidelines, standards and laws. Such compliance rules usually refer to multiple process perspectives including control flow, data, time, and resources as well as interactions with business partners. On one hand, compliance rules should be comprehensible for domain experts who must define and apply them. On the other, compliance rules should have precise semantics such that they can be automatically processed. In this context, providing a visual compliance rule language, which hides formal details from rule designers, is crucial in order to enable an intuitive way of modeling. So far, visual compliance rule languages have focused on the control flow perspective, but lack adequate support for the other perspectives. To remedy this drawback, this report introduces the extended Compliance Rule Graph language and its formal semantics.